$\forall$$T$:Type, $R_{1}$, $R_{2}$:($T$$\rightarrow$$T$$\rightarrow$Prop). $R_{1}$ =$>$ $R_{1}$ $\vee$ $R_{2}$